Full Centre of anH-Module Algebra

Lattice of full soft Lie algebra

In ‎this ‎paper, ‎we ‎study ‎the ‎relation ‎between ‎the ‎soft ‎sets ‎and ‎soft ‎Lie ‎algebras ‎with ‎the ‎lattice theory. ‎We ‎introduce ‎the ‎concepts ‎of ‎the ‎lattice ‎of ‎soft ‎sets, ‎full ‎soft ‎sets ‎and ‎soft ‎Lie ‎algebras ‎and next, we ‎verify ‎some ‎properties ‎of ‎them. We ‎prove ‎that ‎the ‎lattice ‎of ‎the ‎soft ‎sets ‎on ‎a fixed parameter set is isomorphic to the power set of a ...

Centre of an algebra

Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra (full centre) in the monoidal centre of the monoidal category. We establish Morita invariance of this construction by extending it to module categories. As an example we treat the case of group-theoretical categories.

Maude's module algebra

Module Algebra for Relational Specifications

Module algebra is described as a parametrised data type that takes a three sorted parameter, involving signatures, renamings and atomic specifications. An actual parameter describing relational specifications is given and a biinterpretation model is made for the resulting specification. 1986 CR Categories: D.2.0 [software engineering]: requirements/ specificationslanguages; D.2.2 [software engi...

An extensible module algebra for Maude

The fact that rewriting logic and Maude are reeective, so that rewriting logic speciications can be manipulated as terms at the metalevel, opens up the possibility of deening an algebra of module composition and transformation operations within the logic. This makes such a module algebra easily modiiable and extensible, enables the implementation of language extensions within Maude, and allows ...